cpu/cc2538: cleaned up IRQ vector definition
board/cc2538dk: made ISR functions configurable
cpu/cc2538: made ISR names configurable by a board