ARM: 8876/1: fix O= building with CONFIG_FPE_FASTFPE