# CONFIG_EFI_STUB is not set
