Branch to main function with link to enable returning from it

This is probably the "more correct" way of starting a bare-metal C
program. Returning from main() will now enter a WFI loop.