x86: fpuc is uint16_t not unsigned int