kernel: fix for download