edit boardconfig to use right defconfig+kernel