- Adding the new generated kernel files to the branch. Otherwise everytime these
are generated through the python script, git will report modifications due to small
irrelevant changes.