[SeaBIOS] Re: [PATCH 1/4] better kvm detection