cherry-pick rump kernel component for the vnd driver
Source for buildrump.sh git rev de04b7952b0a5ea5a6ea98d58b3abbfdf012007d