Remove seL4_Yield() since it's removed from the RT kernel.
Remove seL4_Yield() since it's removed from the RT kernel.

JIRA CAMKES-429

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