[ARM] 5270/1: Fix Formatting in mach-sa1100/ machine files

This patch fixes formatting issues in mach-sa1100/
machine files. More specificly badge4.c,generic.c and
pleb.c.
Signed-off-by: NKristoffer Ericson <Kristoffer.Ericson@gmail.com>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>