Due to kernel.org being down, an alternate download location has been added to retrieve the Linux kernel. Due to the binutils release renaming, the binutils versions have been fixed. The gdb versions renaming is now complete (it lacked the patches directories renaming). A known issue about make 3.82, and a workaround, have been added to the list of known issues.
