ifeq ($(CPU_ABI),64)
  GENERIC_BUILTINS_SRC += $(GENERIC_SOURCES_TF)
endif
