Re: [RFC 6/6] sched: ARM: create a dedicated scheduler topology table