[PATCH] arch/i386/kernel/microcode.c: remove the obsolete microcode_ioctl