use grub instead of extlinux