Set the linux kernel timestamp properly.