sim:tests: Fix seL4 boot message check

Change-Id: I62693ba683b1cae19b0cbe88d68d85d91bd3edb9

shodan_boot.robot

diff --git a/shodan_boot.robot b/shodan_boot.robot
index e8c135c..f8de7db 100644
--- a/shodan_boot.robot
+++ b/shodan_boot.robot
@@ -34,7 +34,7 @@
     ${sel4uart}=                Create Terminal Tester        ${UART5}
     Start Emulation
 
-    Wait For Line On Uart       Booting sel4 from TockOS app done!               testerId=${tockuart}
+    Wait For Line On Uart       SMC started, waiting on mailbox to clear               testerId=${tockuart}
     Wait For Line On Uart       Booting all finished, dropped to user space      testerId=${sel4uart}
     Wait For Prompt On Uart     ${PROMPT}           testerId=${sel4uart}
     Write Line To Uart          test_mlexecute      testerId=${sel4uart}