So this release finally ships with GRUB2 by default, right?