[seL4] CAmkES VMM platform support