Add kernels and Add-ons to download section.

Change-Id: Ic5e57b7cf5cc34c8f60fd1ffbb893e962b809046