Fixed several coding style issues in the efi driver as reported by checkpatch.pl:

Fixed several coding style issues in the efi driver as reported by checkpatch.pl: #482