Uclinux kernel configuration and cut