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