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