Luis,Great to hear. As to your goal of a free BIOS, when I looked into that almost a year ago, there were more "free" options with ARM processors. None were perfect as I recall, but there is potential and lots of interest in ARM processors in general--a much larger base of developers.
Good luck.