../ kernel-default-4.4.5-1.1.g09dee88.aarch64.rpm 22-Mar-2016 01:22 45M kernel-default-base-4.4.5-1.1.g09dee88.aarch64.rpm 22-Mar-2016 01:22 13M kernel-default-devel-4.4.5-1.1.g09dee88.aarch64..> 22-Mar-2016 01:22 3M kernel-syms-4.4.5-1.1.g09dee88.aarch64.rpm 21-Mar-2016 21:45 627K kernel-vanilla-4.4.5-1.1.g09dee88.aarch64.rpm 22-Mar-2016 01:32 43M kernel-vanilla-devel-4.4.5-1.1.g09dee88.aarch64..> 22-Mar-2016 01:32 3M