Hi arm32 folks,

from now on the RiscPC/A7000/NC can boot ELF kernels. It was a long 
standing issue that got snowed under a bit after my initial work. But i 
decided that it was time again to work on it. There were a few very bad 
small errors that stopped it from loading.

The status of Cats is unknown now and Sharks are a.out only still I am 
told.

Cheers,
Reinoud