# CONFIG_SKFP is not set