[PATCH] [bugfix] Updated selinux_bootloader_notdisabled per ticket 391