vexpress-poweroff: Should depend on the required infrastructure