[LinuxBIOS] thoughts on: gigabyte m57sli-s4 support