How to Build Linux for the Allwinner A80 Optimusboard

With the recent leak of an SDK for the Allwinner A80 ARM processor, it is now possible to build Linux for the Optimusboard. However, the SDK does not appear to be a final build, and has quite a few bugs that have to be squashed before the build will successfully complete. Here are the steps required to get the Linux build to finish: