[coreboot] Patch set updated for coreboot: b5488a6 Supermicro H8QGI: Fix routing from 16 to 55 in ACPI table