Re: [LinuxBIOS] [PATCH] Hide Geode UDC and OTG PCI header