Re: [LSK PATCH 0/8] big.LITTLE MP fixes