Use upstream Linux, not sunxi-devel

Linux 3.16-rc7 has everything we need, and possibly some useful fixes too.

Also, a few minor fixes for booting.