libmicrokit: add API for resuming x86 VCPU#431

dreamliner787-9 wants to merge 3 commits into

seL4:mainseL4/microkit:mainfrom

au-ts:x86_vcpu_resumeau-ts/microkit:x86_vcpu_resumeCopy head branch name to clipboard