get_kaslr_seed
seed = get_kaslr_seed(fdt, chosen);
seed = get_kaslr_seed(dt_ptr);
u64 get_kaslr_seed(uintptr_t dtb_pa);