[SeaBIOS] [PATCH 10/10] xhci: Allow the XHCI USB controller to be enabled for coreboot.