This enables 586-only SMP kernels to compile again. Problem reported by: Jacek Jedrzejczak <jacol@ids.gda.pl>