defconfig updates
Tinykernel 3.3.0