[SeaBIOS] [PATCH seabios 0/3] add kvmtool support