strip double quotes from grub boot options (fixes #1406)