Thank you @quaddamage for your assessment. I asked because I don’t recall seeing the recovery kernel at 0x920000 before, it’s always been 0x900000.Recovery kernel is usually older. This looks like someone flashed primary kernel in place of recovery.
Flashing the same kernel in both places may actually be better - if primary fails, the board will work as usual, unless recovery fails as well.