check_kernel_freshness: Debian changed the format of the version line