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
1 file changed
tree: ff62872ee84e0dbb7834f078904e3d44329b66ce
  1. shodan_boot.robot
  2. test.sh