Filter platforms in 'run_genode_until'