Eu coloquei meu arquivo .ucode na pasta / lib / firmware. Na inicialização, o Debian me escreve:
Oct 22 22:32:28 LionZXY-debian kernel: [ 2.215242] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x22983f10a64, max_idle_ns: 44079521...
23.10.2016 / 09:48