[seL4] address of L1 CNode Cap