Fix GRUB menu entry generation for Debian & Ubuntu

This patch fixes the /etc/grub.d/40_custom generation for the Debian
sample so that it properly extracts the UUID For /boot and /

Note: the maintenance free symlinks /vmlinuz and /initrd.img may not
work properly with /boot on a separate partition or disk.  If only
the symlinks where in /boot as well ...

Signed-off-by: Joachim Nilsson <troglobit@gmail.com>

contrib/debian/build.sh

@@ -24,7 +24,7 @@ echo
 	--with-heading="Debian GNU/Linux 8.5" --with-hostname=jessie               \
 	--enable-inetd-echo-plugin --enable-inetd-chargen-plugin                   \
 	--enable-inetd-daytime-plugin --enable-inetd-discard-plugin                \
-	--enable-inetd-time-plugin 
+	--enable-inetd-time-plugin
 
 if [ $? -ne 0 ]; then
     echo