lantiq: kernel 4.14: don't use CPU interrupt controller IPI IRQ domain support