Linux fixes and improvements

* Fix broken build due to grub_driver.c being renamed to this.c
* Build gnu-efi automatically and remove the need to manually configure grub