Update scripts for galaxys kernel building