# CONFIG_PPC_ICSWX_USE_SIGILL is not set