Added kernel configuration for PICadillo-35T board.