Re: [PATCH] sched: Use device-tree to provide fast/slow CPU list for HMP