Edit 2: I've narrowed it down to 4KiB blocks mapping not working - 2MiB works. I've managed to move forward, not sure if in the right direction. Turns out I have not set IRG, ORG, and SH for neither TTBR0 or TTBR1 in TCR register. After setting them to inner shareable & W-...