Switch NP flag format back to 32 bits (uint32_t)

This matches the corresponding change in the kernel.