[coreboot] New patch to review: f137e6e added support for multiple vendors in the HPET code