Exposing multiple entry points in Pancake.

[Kswin01]

Currently there is only one entry point in Pancake, the cml_main function. For compatibility with the sel4cp, which requires at least an init function, and possibly a notified and protected functions to be exposed for sel4cp, having multiple entry points would allow for more code to stay in pancake rather than foreign C code.