GitLab

The IOMD base address was assumed, which doesn't work on IOMD (causes a
data abort). Use OS_Memory 9 to get the SSpace (IOMD) base address.

A future improvement would be to ask the HAL what sort of machine we're
running on, and select the correct I/O driver. That'd be instead of
checking for a CX24430 via the PCI API and assuming ARM7500FE on failure.