.github: bin: smoke-test.sh: Removed a KnownIssue marker for OpenTitan

Removed a Known Issue entry for the OpenTitan repository where the
formatter would have a check failure.

Signed-off-by: Jan Bylicki <jbylicki@antmicro.com>

.github/bin/smoke-test.sh

diff --git a/.github/bin/smoke-test.sh b/.github/bin/smoke-test.sh
index bda322c..6b13382 100755
--- a/.github/bin/smoke-test.sh
+++ b/.github/bin/smoke-test.sh
@@ -100,7 +100,7 @@
 declare -A KnownIssue
 
 #--- Opentitan
-KnownIssue[formatter:$BASE_TEST_DIR/opentitan/hw/ip/aes/dv/aes_model_dpi/aes_model_dpi_pkg.sv]=1006
+# Original issue - 1006 has been resolved
 # There is also bug 1008 which only shows up if compiled with asan
 
 #--- ivtest