Differentiate kernel config and board config files between main and TVRC branches