Indeed. The question is actually more relevant than it appears. Select32 exists - but not Select for Iyonix. The two are different concepts.
Remember that running on an Iyonix requires two components: a 32-bit OS and suitable hardware-dependent code to run upon the machine.
ROL without question have a 32-bit version of Select; this is already running upon the A9 series as has been announced by Advantage Six's press release. My understanding from that press release is that they are able to ship to their corporate customers machines running Select32 on an Arm 9 based machine now. Advantage Six would no doubt have been involved in developing software to control the hardware specifics of their machine.
However, just because it runs on one design of Arm 9 machine or runs on the RISC PC doesn't mean it runs on any ARM based system (which is why Select32 wouldn't run on my phone, if I'm being silly about it!), and it is further development work to then develop for Iyonix hardware.
That work would therefore need to be done to integrate Select 32 with the Iyonix hardware, and that needs to be funded by the potential profits.
Clearly ROL are selling Select to Iyonix users not Castle, so no doubt it would be ROL who would be footing that development bill. Therefore enough users would have to want it to be worthwhile.