to label the .iso image files.
While I'm here, modernize the ports list to what's being released with
3.0, and put them one-per-line to make it easier to comment out a single
port if necessary.
The Iyonix is a desktop machine from Castle Technology, based on a 600MHz
XScale[tm] 80321 processor.
* Uses the bootloader from NetBSD/acorn32, which is now 32-bit compatible.
* Currently boots multiuser with a serial console.
* Device support is not yet complete.
With help from abs.