[LinuxBIOS] ultra 40 linuxbios