Kernel failing to build on 32-bit powerpc

Hi,

could someone investigate the following build failure on powerpc [1], please?

In file included from /build/reproducible-path/linux-6.16.12/kernel/sched/build_policy.c:64:
/build/reproducible-path/linux-6.16.12/kernel/sched/ext_idle.c: In function ‘is_bpf_migration_disabled’:
/build/reproducible-path/linux-6.16.12/kernel/sched/ext_idle.c:893:14: error: ‘const struct task_struct’ has no member named ‘migration_disabled’
  893 |         if (p->migration_disabled == 1)
      |              ^~
/build/reproducible-path/linux-6.16.12/kernel/sched/ext_idle.c:896:25: error: ‘const struct task_struct’ has no member named ‘migration_disabled’
  896 |                 return p->migration_disabled;
      |                         ^~

Thanks,
Adrian

> [1] https://buildd.debian.org/status/fetch.php?pkg=linux&arch=powerpc&ver=6.16.12-2&stamp=1760639059&raw=0

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer
`. `'   Physicist
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913