[SeaBIOS] Re: [PATCH v3 1/6] better kvm detection