use sel4_start public api to get stack address
Previously we indirectly accessed exported symbols from the asm in sel4_start to get the stack address. Make this dependency explicit and use a public api to get the stack address.
Part of work on sel4-start#2 (closed)