proper naming for kernel packages