T4 pwm sdcard pins

The pins were not in the table before...

rx_pins should depend on cnt_rx_pins not cnt_tx_pins, currentlty the same so does not impact

T4 Serial5 support setTx and setRx to pins 38, 39

Updated to get A12/A13 operational

Serial events main

This cut down some timings in yield.

Add quick test at start of function to return if there are no events pending.

Do this before checking if in ISR and the like.  Cut timing down a lot in yield.

Found some of our code has these defined, plus had in another test sketch so defined them hopefully with C bindings, but calls Serial1 object code

Put in probably temporary bandaids to allow code that uses:
Serial.readBytes(Buffer, cnt);

To function.  It simply loops calling the underlying code for Serial.read().

Comment out some of the main programs debug print statements plus add yield call to main loop.

yield can now call SerialEvent.

Put hack in that if the user has not overwritten the SerialEvent function, the weak linked one will turn off calling itself...

Update pins 30 and 31 in core_pins.h

The B2 board has different IO pins here for these two pins

while(1); -> while (1) asm ("WFI");

Saves power and prevents heating

undocumented SNVS regs

use GPIO6..9

add SNVS definitions for RTC

add #define digitalPinToInterrupt(p)

todo:
analogInputToDigitalPin(p)
digitalPinHasPWM(p)