Kernel Linux17/02/2025 Google propõe aumentar frequência padrão do timer do kernel Linux para 1000Hz: o que isso significa?