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