[seL4] question about stash and pop between templates