[Starlingx-discuss] STX 4.0 Kernel source RPM