In section 3.1 'Preparing Redox', the book suggests using the cross compilers from glendc/gcc_cross_compilers. These no longer work, and are not being used in the bootstrap.sh script from the redox-os/redox repo. This closes redox-os/book#84.