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