We had an extra '0x' in the output of the LAWAR header that would cause
output like:
LAWBAR11: 0x00000000 LAWAR0x11: 0x80f0001d
intead of:
LAWBAR11: 0x00000000 LAWAR11: 0x80f0001d
Signed-off-by: Kumar Gala <galak@kernel.crashing.org>
 #else
                printf("LAWBAR%02d: 0x%08x", i, in_be32(LAWBAR_ADDR(i)));
 #endif
-               printf(" LAWAR0x%02d: 0x%08x\n", i, lawar);
+               printf(" LAWAR%02d: 0x%08x\n", i, lawar);
                printf("\t(EN: %d TGT: 0x%02x SIZE: ",
                       (lawar & LAW_EN) ? 1 : 0, (lawar >> 20) & 0xff);
                print_size(lawar_size(lawar), ")\n");