uboot-at91: fix build after fpu activation