[SeaBIOS] [PATCH seabios 1/3] kvmtool: initial support