../ linux-headers-4.19.80-arm64-server_4.19.80-1058..> 13-Nov-2019 20:55 11M linux-image-4.19.80-arm64-server-dbg_4.19.80-10..> 13-Nov-2019 20:55 173M linux-image-4.19.80-arm64-server_4.19.80-1058_a..> 13-Nov-2019 20:55 74M