check for /dev/kvm, another take on issue #78