Ajustes iniciais para rodar no hardware físico, o kernel já está rodando em higherhalf, porém ainda é necessário investigar onde ele para de funcionar