Repository used for kernel releases for Application Processors from SoC vendor Marvell Semiconductor Inc