# CONFIG_CPU_SW_DOMAIN_PAN is not set