# CONFIG_PLFXLC is not set