Re: [BUG] v7_coherent_kern_range broken on big.LITTLE