Comment 5 for bug 748413

Sorry, another update. Although update-grub does detect Arch when the partition is mounted, it sets the wrong UUID for the root partition in the 'root=' parameter on the 'linux' (kernel) line. I don't know why it does this, as it sets the right UUID for the partition everywhere else, e.g., in the 'search' lines. I had to change the UUID manually to get things working. (Will post the os-prober output soon.)