STM32:  Add more complication to STM32 Kconfig so the correct ADC and CAN options presented for the F401RE.  There are still invalid peripheral options being presented

STM32:  Add some complication to STM32 Kconfig so the correct USART and TIM options are presented for the F401RE.  There are still invalid peripheral options being presented

SAM4S Xplained Pro: Clean-up of LED usage and also some integration of new timer features.  From Bob Doiron

The alternate console device CONFIG_NSH_CONDEV must not be defined unconditionally.  This causes errors when using Telnet sessions.  This was solved by adding CONFIG_NSH_ALTCONDEV: CONFIG_NSH_ALTCONDEV enables or disables the feature then, if enabled, CONFIG_NSH_CONDEV provides the alternative console device name

Fix configuration for F401:  It has has FSMC and so the option should not be offered.  But there are many more options available for the F401 that should be availalbe:  CAN, nonexistent timers, etc.  These will all need to be addressed

If the CPU load measurements are being driven by an external clock, then the prototype for sched_process_cpuload() must be available in include/nuttx/arch.h

Updated changelogs and release notes in preparation for the 7.2 release.  Still need to do a little more before the release

STM32:  More places where up_prioritize_irq is called when CONFIG_ARCH_IRQPRIO is not defined.  Sourceforge ticket #26

Sourceforge ticket #26: STM32 up_prioritize_irq should not be called if CONFIG_ARCH_IRQPRIO is not defined