The kernel being already a generic one and not a pae, it has not been necessary to change it. The lightdm login screen didn't need any configuration because it has been configured to boot straight to the desktop.