#TODO: ist $root immer automatisch richtig gesetzt ?
functionLoadArchLoop{
# Man koennte search -l "Label-des-FAT32-auf-dem-Usbstick" benutzen.
setarchfslabel="CINNARCH_201210"
# Man Kann auch 'search -f -s isodev /$iso' verwenden um das grub-device zu bekommen, auf dem $iso liegt. Man beachte dabei den absoluten Pfad mit / am Anfang! Das Ergebnis wird (falls gefunden) in der Variable $isodev abgelegt. z.b. $isodev=hd0,1