# CONFIG_EFI_TEST is not set