[PATCH] ARM: fix mach-at91 build breakage