All LaunchPads drives the UART0_RX pin up, but is configured in the Board file to be pull-down. This alignes the UART0_RX pin configuration with the development board HW.