when determining tcb domains, check if the object refered to by the cap is a TCB, rather than checking if the cap is a TCB
when determining tcb domains, check if the object refered to by the cap is a TCB, rather than checking if the cap is a TCB

smaccm/camkes-tool,agacek/camkes-tool,smaccm/camkes-tool,agacek/camkes-tool,smaccm/camkes-tool,agacek/camkes-tool,smaccm/camkes-tool