kernel/baseconfig/CONFIG_ALTERA_TSE