[keir-rex]

That statement confused me too... I think she/he means the Game Boy Advanced (ARM7TDMI @ 16.78 MHz): https://en.wikipedia.org/wiki/Game_Boy_Advance