Fix builddeb and CubieBoard2 kernel installation