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

LPC17xx, TIVA, and Kinetis interrupt initialization:  use the NVIC ICTR register to determine how many interrupt lines/registers are supported by the MCU

Move the un-definitions of __ramfuncs__ from the sam_clockconfig.c to the common up_internal.h header file so that the attribute will be applied the same to function definitions and prototypes.