Olá Maldon, estive pesquisando uma solução para o lag do trackpad do meu note, já que uso o voodooi2c, e no gitterchat ouvi dizer que o ACPIbatterymanager.kext pode causar esse problema, e eles recomendam remover ele. Mas aí pra não ficar sem o indicador de bateria, é necessário trocar o fakesmc pelo virtualsmc, isso dá algum problema? e será que é necessário alterar o dsdt?