efi_loader: Improve install_configuration_table