Good list, but missing CONFIG_CPU_SW_DOMAIN_PAN (https://cateee.net/lkddb/web-lkddb/CPU_SW_DOMAIN_PAN.html).