efi: Allow efi_free() to be called with size of 0