The reason for using an outdated SDK is simply that we already have a lot of products sold and in use. We are obligated to offer maintenance to our customers, so at the moment it is hardly possible to upgrade the SDK.
BTW, problem is actually solved; some little patching to the kernel_menuconfig did the trick :)