[PATCH] efi: add comment for efi_system_table and efi_configuration_table