Add devices the PandaBoard needs
Add cpu_reset, cpu_initclocks, and DELAY to the platform code
Move _end back to the end of the kernel's bss and add an _ebss value to
find the end of the bss to clear. Without this the kernel breaks when the
size of the .text section is wrong by pushing the startup page table into
the area allocated in initarm. It was only by luck this worked previously.
Reorder pmap.h to check for a v6+ MMU first. We are unable to have both
v4/5 and v6/7 in the kernel.