FTP services were shutdown some weeks ago, so the FTP URL
does not work anymore. Fix this by replacing it with
corresponding HTTPS URL.
Signed-off-by: NMichael Heimpold <michael.heimpold@i2se.com>
Signed-off-by: NJonathan Corbet <corbet@lwn.net>