[LinuxBIOS] trying to boot gigabyte m57sli-s4