Personal kernel modification for debian/ubuntu