Re: [RFC 4/6] sched: powerpc: create a dedicated topology table