add kernel_ipi to the build and call it from the bcm2708 support code if applicable.