[seL4] VGA pass-through using CAmkES VM on x86