dpkg -i miKernel.deb).