[PATCH] x86 microcode: microcode driver cleanup.