[seL4] Hardware Platform for sel4 and running linux as guest os