[coreboot] xHCI support for x86