Msi Wind U100's specs are mentioned in this web page: http://www.coreboot.org/Laptop But it is not listed in this page: http://www.coreboot.org/Supported_Motherboards#Laptops What is the current status of the msi wind u100 regarding coreboot?