Fair enough. The Roku developer portal lists it as a Cortex A55. I guess their documentation is wrong.
It's definitely a software issue on their end. Same reason why the device will output 60.000hz occasionally if 4:2:0 chroma subsampling is selected instead of 59.94hz, and some of their older devices would only output 24.000hz instead of 23.976hz with framerate matching enabled.
Good to know...I was just about to buy this player, but will hold off for now.