64k pages size / 42 bits VA



I wanted to try to run my 96board with 64k pages and 42 bits of VA (as opposed to default 4k pages and 39 bits VA).

I rebuilt the kernel with the modified config, but the board won’t boot.

Anyone knows if it’s a limitation of the SoC, or do I have something else to do?