[coreboot] Patch set updated: 55aacb4 added support for multiple vendors in the HPET code