x86, sched: Workaround broken sched domain creation for AMD Magny-Cours