Not sure why we use u_int8_t (in src/lisp/x86-arch.h), but we should use the standard uint8_t instead.
u_int8_t
src/lisp/x86-arch.h
uint8_t