Added kernel configuration and device tree source for TE0720-01 board