Allow the endpoints used in seL4RPCCall connections to be badged on the -to side and provide a function to retrieve the badge on the -from side
Correct type of simple_camkes_set_ASID to avoid compiler warning