Esses são os módulos do kernel para o Virtualbox no Manjaro. Eles permitem que você use o Virtualbox sem problemas no sistema operacional Manjaro. 