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