x86: fpus is uint16_t not unsigned int