Added support for producing a disassembly dump of the kernel.elf file


git-svn-id: file:///var/johncronin-svn/rpi-boot@89 0f3ef04d-8e58-4d2a-b558-b31704943fbb
Multiple small fixes as suggested by James Cone (https://github.com/JamesC1)


git-svn-id: file:///var/johncronin-svn/rpi-boot@90 0f3ef04d-8e58-4d2a-b558-b31704943fbb