[coreboot] Patch merged into coreboot/master: 1325fcc UHCI: use proper pointer size