[SeaBIOS] compiling a working Seabios