I understand that should be the kernel, but it's not the one that is being installed following the steps I shown. Is it possible to install it in other ways? On Thursday, 29 March 2018, Kai-Heng Feng