[ARM] fix mach-at91 build breakage