My grandson recommended me to try Linux, but I cannot find where to download it. Many people tell me to use something called “Arch” but when I click the md5 file I only see a bunch of numbers. I found a download zip on kernel.org, but when I make the usb, it says not bootable