SeaBIOS for Intel's Galileo board