Ya that's super weird. If it is detected in BIOS then it's a different story, since many people didn't bother checking the BIOS and simply thought it is not working/not detected while it's actually just Windows issue which takes super long time to install the driver.