593309423cba ("x86/32: Remove CONFIG_DOUBLEFAULT")