官方给的配置内核到底是led还是leddriver驱动？

lzg371

打开s3c6410_demo的内核配置，发现 WINCE600/PLATFORM/SMDK6410/src/drivers下面有两个关于led的驱动，一个是LED (excluded from build) 一个是LEDDriver。
仔细分析后这个配置应该是使用LEDDriver，但是分析其代码后又感觉不对，是不是官方的wince内核配置有错啊？ 应该用led才对啊？ 请问是怎么回事，我编译后下载到板子发现将近40M与飞凌提供的nk.bin大小不一样，明显偏大？ 不知道怎么回事，下载到板子报告好像invalid filetype ，不知道怎么回事，哪位高人能帮我一把，不胜感激。