Look at how Linux is handling a similar thing for Arm64 where just some of the cpus support 32-bit: https://www.phoronix.com/scan.php?page=news_item&px=Linux-5.14-ARM64 https://lore.kernel.org/patchwork/patch/1436130/ Find callers of system_32bit_el0_cpumask in the kernel and use that as inspiration to do something similar
this would tie in closely with EABI features, yes it's good to see this going into other ISAs, first, it sets a precedent that can be followed.