Add 9bit support to HardwareSerial

I stumbled over a few different implementations / tweaks how Arduino could read 9bit data using Serial objects; the core library does not support 9bit, while the standard UART HW does ...

I am aware of issues arduino/Arduino#2292 and arduino/Arduino#2291 - however I'd like to take a differen timplementation path: use guard macro to conditionally enable the extra code (and twice as long buffer). This way, normal user will not see any performance/size penalty, but developer who needs 9bit support could enable it at the documented cost.

Diffs will be attached shortly as PR...

Comience localizando la HardwareSerial API y la gestión de sus búferes en el código de ArduinoCore-API; después, revise las issues arduino/Arduino#2292 y arduino/Arduino#2291 para consultar enfoques anteriores. Implemente y documente la ruta protegida de 9 bits propuesta, preservando el rendimiento y el tamaño para los usuarios normales, y verifique el comportamiento afectado de Serial.

Escrito por el modelo de indexación a partir del texto del issue.