Just noticed that the RX-51 entry in the ARM Linux machine database (submitted by a Nokia person) explicitly states: :-)