[QUESTION] PS Classic SoC is 64 bit, but binaries and kernel are 32 bit

[Hatt.Droid]

Hi,

I've just got my PS Classic and started tinkering with it a bit.
I realized that the SoC is an ARMv8 chip with 64 bit support:
https://www.mediatek.com/products/tablets/mt8167a

Thanks to BleemSync I SSH'd into the PS classic and realized that the kernel is compiled targeting ARMv7 32 bit, is there any reason for that?

For info, on past projects I've seen floating point operations (and also single precision ones to an extent) getting double the performance when switching to a 64 bit ARMv8 kernel.

Also when SSH'ing into the PSC, are we accessing Sony's kernel or is it a 2nd boot kernel made by BleemSync team?

Thanks.