linux kernel source for chipbox digital satellite receiver