kernel: replace SMP cacheflush fix with some patches from linux-mti.git