obj-${CONFIG_SMP} += platsmp.o headsmp.o

AFLAGS_headsmp.o := -Wa,-march=armv7-a