[tip: x86/urgent] x86/boot: Don't add the EFI stub to targets, again