[PATCH] x86, microcode support: fix build error

From: Ingo Molnar
Date: Tue Jul 29 2008 - 04:10:55 EST