ccflags-y += -I$(srctree/drivers)
obj-$(CONFIG_IPI_QUARK_SE) += ipi_quark_se.o ipi_static_irq_stubs.o