X86_BP_FLAGS_NOMODULES
& X86_BP_FLAGS_NOMODULES);
boot_modules_enabled = !(boot_params.bp_flags & X86_BP_FLAGS_NOMODULES);
& X86_BP_FLAGS_NOMODULES);
bp.bp_flags ^= htole32(X86_BP_FLAGS_NOMODULES);