P51XX: some formatting cleanup

Change-Id: I69cfa2a4ca9636b72ea3a3d16f4652d70c261883