[coreboot] Patch merged into coreboot/master: ac87dc9 libpayload: Fix initialization of OHCI driver