Device numbering clarification

[markus]

Is there some documentation about the numbers, meanings and relationship (if 
any) of the 3 different device numbers?

 -) syscfg, eg UART_0
 -) device name, eg "uart0"
 -) mcu HW device, eg "USART2"