When booting an upstream kernel using ACPI, it doesn’t seem like the two F_USB ports
(USB1 and USB3 in the schematic) gets initialized by the kernel. They are never mentioned
in dmesg (unlike the 8 other ports), and their status shows up as “0” instead of “15” in /sys:
marcus@mariko ~ $ for i in /sys/bus/acpi/devices/PNP0D10:0*/status; do echo -n "$i "; cat $i; done
/sys/bus/acpi/devices/PNP0D10:00/status 15
/sys/bus/acpi/devices/PNP0D10:01/status 0
/sys/bus/acpi/devices/PNP0D10:02/status 15
/sys/bus/acpi/devices/PNP0D10:03/status 0
/sys/bus/acpi/devices/PNP0D10:04/status 15
/sys/bus/acpi/devices/PNP0D10:05/status 15
/sys/bus/acpi/devices/PNP0D10:06/status 15
/sys/bus/acpi/devices/PNP0D10:07/status 15
/sys/bus/acpi/devices/PNP0D10:08/status 15
/sys/bus/acpi/devices/PNP0D10:09/status 15
marcus@mariko ~ $
The ports also seem inactive in the boot menu; I can boot from an USB stick inserted in the back ports,
but not in the F_USB ones.
Is there some known issue in EFI for these ports?