Minor improvements regarding what must be done to create the final kernel patch module