Updated kernel's name in P5 configs