Use more generic SERIAL_PORT, since it may be used with chipKIT.