ARM: PL08x: fix a warning