updated boot options for EFI support (now included by default and not manually provided any more)