dJOS
124
I asked @mike.maxwell and @bravenel this exact question and didn’t get an answer.
An ARM architecture upgrade is the only way to get twice the performance for a 500 MHz clock speed increase.
Edit: looks like Arm A53 to A55 + The memory bus is now 32 bit up from 16 bit.