grub2 2.00 merge

grub2 2.00 has been merged. It requires some manual intervention to complete

the upgrade, but shouldn’t cause any problems if the upgrade is delayed. For detailed instructions on how to upgrade, please read the development upgrade notes. Thank you.