If kernel/config.h is included in yportenv.h, then yportenv.h must be