Added copyright notices to platform.*
Changed u_int** to uint**