Update smoketest expectations.

Signed-off-by: Henner Zeller <hzeller@google.com>

.github/bin/smoke-test.sh

diff --git a/.github/bin/smoke-test.sh b/.github/bin/smoke-test.sh
index bda322c..dd81f6e 100755
--- a/.github/bin/smoke-test.sh
+++ b/.github/bin/smoke-test.sh
@@ -132,18 +132,18 @@
 
 ExpectedFailCount[syntax:ibex]=14
 ExpectedFailCount[lint:ibex]=14
-ExpectedFailCount[project:ibex]=189
+ExpectedFailCount[project:ibex]=192
 
-ExpectedFailCount[syntax:opentitan]=35
-ExpectedFailCount[lint:opentitan]=35
+ExpectedFailCount[syntax:opentitan]=36
+ExpectedFailCount[lint:opentitan]=36
 ExpectedFailCount[formatter:opentitan]=1
-ExpectedFailCount[project:opentitan]=722
+ExpectedFailCount[project:opentitan]=725
 
 ExpectedFailCount[project:Cores-SweRV]=21
 
 ExpectedFailCount[syntax:cva6]=4
 ExpectedFailCount[lint:cva6]=4
-ExpectedFailCount[project:cva6]=25
+ExpectedFailCount[project:cva6]=38
 
 ExpectedFailCount[syntax:uvm]=1
 ExpectedFailCount[lint:uvm]=1