# CONFIG_UEFI_CPER is not set
