[coreboot-gerrit] Patch set updated for coreboot: Intel/amenia: Make the device address more readable