[coreboot] Patch merged into coreboot/master: 716375d libpayload: add support for 64-bit EHCI controllers