kaslr_early_init
u64 kaslr_seed = kaslr_early_init(fdt_mapped, chosen);
u64 kaslr_early_init(void *fdt, int chosen);
void kaslr_early_init(void *dt_ptr, phys_addr_t size);
kaslr_early_init(__va(dt_ptr), size);