STVMC/XIOSM3/JYNXM3: Add Pre-built kernels (Based on 20130701)