I believe that with USB support enabled, it will be the USB CDC connection that is called "Serial", and you'll have to find a different name for the USART Serial (probably "Serial1" ?)
I believe that with USB support enabled, it will be the USB CDC connection that is called "Serial", and you'll have to find a different name for the USART Serial (probably "Serial1" ?)