update kernel binary