sim:tests: Update seL4 UART assignment To match the new SMC UART assignment. Tested with `./sim/tests/test.sh sim/tests/shodan_boot.robot` Change-Id: I67e8aad19b15ed85d2677b577637a05a23730688