diff --git a/initrd/bin/gui-init b/initrd/bin/gui-init
index 46a3ae03..4f7be760 100755
--- a/initrd/bin/gui-init
+++ b/initrd/bin/gui-init
@@ -623,7 +623,7 @@ check_gpg_key
 update_totp
 update_hotp
 
-if [[ "$HOTP" = "Success" && $CONFIG_AUTO_BOOT_TIMEOUT ]]; then
+if [ "$HOTP" = "Success" -a -n "$CONFIG_AUTO_BOOT_TIMEOUT" ]; then
   prompt_auto_default_boot
 fi