Scripts to ease the pain of recompiling the linux kernel on Samsung Arm Chromebook running Chrubuntu