It looks like RMS is calling for more work to be done on a GPL'd free bios. I think this is a great idea. I have wondered why Phoenix and AMI etc. have had the monopoly on this while there are so many good engineers that could write great code. The one project I was aware of is LinuxBIOS.