CONFIG_EFI=y