[LinuxBIOS] What hardware are we using for LinuxBIOS now?