[seL4] Confusion with various memory address