EHCI: fix problem with BIOS handoff