Thanks a lot!
The other day saw a post by 墨鬥魚 about open source BIOS (http://permalink.gmane.org/gmane.linux.kernel/496453) and wondering who wants it now as whether one wants a "close source" BIOS or not, you pay for it anyway when you buy a motherboard.