Re: [Firmware] debian kernel packaging for pyra