changes to make kernel boot with 4.8 toolchain - credit to Christopher83 for the custom version of the toolchain