P51XX: some formatting cleanup

Change-Id: I28b8b796bc6376c9b8145ebf27e59d2925f25ff1