Hello, I would like to know if it is possible to change the default kernel in debian-live and boot with a customized one. Is it sufficient to plug the .deb package of the new kernel in the appropriate lh_config directory? cheers gfwp