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