Sur arch, c'est pas difficile de boot sur un custom kernel. Regarde le wiki.