arm: Fix ARMv7-M interrupt processing

Right after a "msr basepri_max, %[basepri]" instruction an interrupt
service may still take place (observed at least on Cortex-M7).  However,
pendable service calls that are activated during this interrupt service
may be delayed until interrupts are enable again.  The
_ARMV7M_Pendable_service_call() did not check that a thread dispatch is
allowed.  Move this test from _ARMV7M_Interrupt_service_leave() to
_ARMV7M_Pendable_service_call().

Close #3060.

virtex4, virtex5 bsp.h: Use BSP_INTERRUPT_STACK_SIZE not user space C…

…ONFIGURE_INTERRUPT_STACK_SIZE

closes #2801.

virtex4, virtex5 bsp.h: Use BSP_INTERRUPT_STACK_SIZE not user space C…

…ONFIGURE_INTERRUPT_STACK_SIZE

closes #2801.

Version 4.10.2

Version 4.9.6

Version 4.10.1

Version 4.10.0

Version 4.9.5

Version 4.9.4

Version 4.8.2