psd_board: Let the users choose what kernel TC version will they be using