added some vmcs stuff to shiv