fixed some uint32_t to kword_t