No periodo de um mês, a HDM disponibilizou duas atualizações e o código-fonte do kernel