Re: Heads-up: big.LITTLE and cache flushing