[SeaBIOS] Compiling SeaBios