kernel: work around CONFIG_CPU_SW_DOMAIN_PAN breakage on ARM11 MPCore