Download binary file, kernel-mainline-gz