[seL4] sel4 smmuv2.0 on tx2 related questions