# CONFIG_EFI_GENERIC_STUB_INITRD_CMDLINE_LOADER is not set
