Comment 5 for bug 524434

It would be nice if the available_ids() supplied by pakraticus above was an actual grub-pc patch.