[Firmware] debian kernel packaging for pyra