PR port-xen/53130 was fixed and closed some time ago, so now we can
belatedly re-enable inclusion of the compat_60 x86 microcode code in
the loadable module.  (It was already being included in the built-in
version of the module.)

(pgoyette)