[coreboot] [PATCH] USB: Add OHCI debug functions