x86 kernel for USB HC development