[SeaBIOS] [PATCHv2 0/6] Improved multi-platform support