Added CPU_ISR_PASSES_FRAME_POINTER so some ports could pass just the vector number to user ISR's and other ports could pass both the vector number and a pointer to the ISF.