Found the bug after a couple of hours digging. Quite serious. Patch provided. Trivial but extremely irritating none the less.
Vladimir: Please apply. Regards, Christian
usb_hub_ports_20130902.patch
Description: usb_hub_ports_20130902.patch
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel