[cmucl-imp] x86-validate.h