[LinuxBIOS] Intel 3100 chipset