diff --git a/test-case/verify-kernel-boot-log.sh b/test-case/verify-kernel-boot-log.sh
index 8a2ec540..100034c0 100755
--- a/test-case/verify-kernel-boot-log.sh
+++ b/test-case/verify-kernel-boot-log.sh
@@ -28,6 +28,9 @@ main()
 
     print_module_params
 
+    # print the BIOS version
+    sudo dmidecode --type 0
+
     wait_is_system_running --system
     [ "$(id -un)" = root ] ||
         wait_is_system_running --user