Do not have a default machine

build_coreboot.sh

@@ -381,10 +381,7 @@ machine=0
 while [ "$machine" != "1" ] && [ "$machine" != "2" ] && \
           [ "$machine" != "3" ] && [ "$machine" != "4" ] && \
           [ "$machine" != "5" ] ; do
-    read -r -p "Enter your choice (default: 1): " machine
-    if [ "$machine" = "" ]; then
-        machine=1
-    fi
+    read -r -p "Enter your choice : " machine
     if [ "$machine" != "1" ] && [ "$machine" != "2" ] && \
            [ "$machine" != "3" ] && [ "$machine" != "4" ] && \
            [ "$machine" != "5" ] ; then