Patch from Chris Johns <ccj@…> to get around a C++ problem with psim.
This problem should and likely was occurring with other BSPs. This is from
Chris' email:
It looks to me like a compiler bug. The `main' call is being inlined and
when that happens the special code to call `eabi' is not being added
to the inlined version. I have attached a patch which places `main'
after `boot_card' and a call to main is now generated. I have not tested
it but it should work. I also include a dump of boot_card' and
main'
showing the bug.