Update docs and build checks to chase the GRUB installer change.