[seL4] Nasty bug in global-components/templates/rpc-signalling.template.c