[SeaBIOS] RFC: Add support for virt machine to Seabios