In my bios I don't have xhci hand-off nor ehci hand-off options. I found these are present in bios string with handles 0x0632 and 0x0634 .. is there a way to add these options in the USB menu? Amibcp doesn't have any option to modify the menu.