diff --git a/Makefile b/Makefile
index e9a07840ed8b541ad75a228a85901fdd84f21cc9..f3f046f4a3177649330abe59edc1a15023d714a4 100644
--- a/Makefile
+++ b/Makefile
@@ -149,7 +149,7 @@ ASFLAGS			+=	$(CPPFLAGS) $(ASFLAGS_$(ARCH))			\
 				-D__ASSEMBLY__ -ffreestanding 			\
 				-Wa,--fatal-warnings
 TF_CFLAGS		+=	$(CPPFLAGS) $(TF_CFLAGS_$(ARCH))		\
-				-ffreestanding -Wall -std=c99 -Os		\
+				-ffreestanding -fno-builtin -Wall -std=c99 -Os	\
 				-ffunction-sections -fdata-sections
 
 LDFLAGS			+=	--fatal-warnings -O1