I messed up calculating the correct pagetable offsets for the kernel base address. 0xFFFFFFFF80000000 resolves to PML4 index 511, PDPT index 510, PD index 0 and PT index 0 and not PDPT index 256.