[seL4] questions about the vgic maintenance for sel4 TK1 ARM VMM