[seL4] adding code to the main.c for ARM VMM