[coreboot-gerrit] Change in coreboot[master]: arch/x86/acpi_bert_storage.c: Fix coverity error CID 1395706