Making a Ubuntu usb stick and kernel.org seems to be down and I need to dl Syslinux - Is it available to download anywhere else. I think words in the above statement make sense :)