It looks like via the code in HardwareSerial.cpp that the constructor for the Serial class is overloaded.
HardwareSerial::HardwareSerial(void)
HardwareSerial::HardwareSerial(unsigned long module)
If you don't pass a "module", it defaults to 0. Pass the module that is associated with the configuration you want. Starting on line 92 looks like all the configurations:
static const unsigned long g_ulUARTConfig[8][2] =
{
{GPIO_PA0_U0RX, GPIO_PA1_U0TX}, {GPIO_PC4_U1RX, GPIO_PC5_U1TX},
{GPIO_PD6_U2RX, GPIO_PD7_U2TX}, {GPIO_PC6_U3RX, GPIO_PC7_U3TX},
{GPIO_PC4_U4RX, GPIO_PC5_U4T