EFI breaks USB dual port detection - our observations