USB booting :: ehci-hcd