[PATCH] i386: Move DOUBLEFAULT config to arch/i386/Kconfig