NTOSD: Update and fix a configuration.  The way it was trying to disable the console and file system caused build problems

Fix references to the no-longer-existent misc/ directory in comments, README files, and documentation

In ARMV71-Xplained clock configuration, divider was set to 25 to get 25*12MHz=300MHz CPU clock.  The correct multiplier is 24 becaue the calculatin if (24+1)*12MHz.  So the board was running at 312MHz.  From Efim Monjak.