Fix Arch Linux install ISO label
Fix grml bootid