bsg: use u32 etc instead of uint32_t