Fixup for 909dfb6:  Fix x86 32-bit config option

    checking for kernel architecture... FAIL

    ************************************************************
     The target RTAI architecture (x86) does not match
     the kernel architecture selected in
         /tmp/buildd/rtai-4.0.2.0537e4e/debian/linux
     (i.e. CONFIG_X86_32 is undefined)
    ************************************************************
    make: *** [debian/stamps/configure] Error 1
    dpkg-buildpackage: error: fakeroot debian/rules clean gave error
        exit status 2