[coreboot] New patch to review for coreboot: 0a2af45 libpayload: use correct types in UHCI driver