[Firmware-dev] kernel pandora-39 branch available, pandora-37 branch updated