STM32 Nucleo F401RE in Arduino IDE - how to enable more than 1 Serial?
Frederic Pillon on Github has been very helpful and suggested me the solution, which is to define the serial via:

HardwareSerial Serial1(PA10, PA9);


instead of just giving Serial1 for granted as you would do on a regular Arduino mega