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

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

Fix Bob's name in as many places as possible; Make sure that Bob is an author in as many files as I can think of (might be missing a few)

Various SAM4S related fixes, mostely related to the timer driver driver and the SAM4S timer/counter.  All from Bob Doisin

LPC17xx:  Prioritized interrupts are not supported (although hooks are present to prioritize interrupts).  Make LPC17 Ethernet default priority to be the system default, not the highest.  If the unsupported feature is enabled, then at least it should do no harm