RIOT-OS/RIOT — pull request #1848 by hexluthor (2014-10-20 18:26:58+00:00)
Title: cc2538: Set __NVIC_PRIO_BITS to the correct value of 3.

My bad!