protect_boot_range
protect_boot_range(KERNEL_TEXT, (uintptr_t)-1, 0);
protect_boot_range(0, kernelbase, 1);