Index: kernel/arch/arm32/meson.build
===================================================================
--- kernel/arch/arm32/meson.build	(revision 2fff3c4405a90b5bd3f42603d5368be8b87be9e7)
+++ kernel/arch/arm32/meson.build	(revision c4e5d4062607ba296514693b66071dec8303c580)
@@ -35,5 +35,5 @@
 	# This is necessary to allow vmsr insn and fpexc manipulation
 	# Use vfp32 to allow context save/restore of d16-d31 regs.
-	kernel_c_args += [ '-mfloat-abi=hard', '-mfpu=vfp3' ]
+	kernel_c_args += [ '-mfloat-abi=hard' ]
 endif