# CONFIG_EFI_ARMSTUB_DTB_LOADER is not set