Update p4 kernel scripts