../ kernel-default-4.19.12-1.1.gc634493.armv6hl.rpm 22-Jan-2019 13:06 41025183 kernel-default-base-4.19.12-1.1.gc634493.armv6h..> 22-Jan-2019 13:06 18474802 kernel-default-devel-4.19.12-1.1.gc634493.armv6..> 22-Jan-2019 13:06 4022926