plat/kvm: Select `HAVE_IBMPC` only on x86_64

Without this patch, asking `kraft` to build for QEMU on arm64 with its
default configuration gives a series of warnings such as:

```
WARNING: unmet direct dependencies detected for HAVE_IBMPC_VGA
  Depends on [n]: ARCH_X86_64 [=n]
  Selected by [y]:
  - HAVE_IBMPC [=y]
```

and `HAVE_IBMPC` is set to yes in the generated configuration.

Signed-off-by: Samuel Hym <samuel@tarides.com>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Michalis Pappas <michalis@unikraft.io>
GitHub-Closes: #1565

diff --git a/plat/kvm/Config.uk b/plat/kvm/Config.uk
index 31f85682e41bbcb694869402dd4a66caf8827ef3..507515ba2c1d2d791b984b2f4fddd505513b6e49 100644 (file)
--- a/plat/kvm/Config.uk
+++ b/plat/kvm/Config.uk
@@ -103,7 +103,7 @@ config KVM_VMM_QEMU
        imply LIBUKINTCTLR_GICV2 if ARCH_ARM_64
        imply LIBUKRTC_PL031
        imply LIBVGACONS if ARCH_X86_64
-       select HAVE_IBMPC
+       select HAVE_IBMPC if ARCH_X86_64
        select HAVE_PCI
        select HAVE_MMIO