Sync kernel.config with main

buildroot-external/board/pc/ova/kernel.config

@@ -1,9 +1,13 @@
 CONFIG_EFI_STUB=y
 
 CONFIG_HOTPLUG_CPU=y
+CONFIG_HOTPLUG_PCI_PCIE=y
+CONFIG_HOTPLUG_PCI_ACPI=y
+CONFIG_HOTPLUG_PCI_SHPC=y
 CONFIG_MEMORY_HOTPLUG=y
 CONFIG_MEMORY_HOTPLUG_DEFAULT_ONLINE=y
 CONFIG_MEMORY_HOTREMOVE=y
+CONFIG_ACPI_HOTPLUG_MEMORY=y
 
 CONFIG_VMXNET3=y
 CONFIG_VMWARE_PVSCSI=y
@@ -22,6 +26,9 @@ CONFIG_VSOCKETS=m
 CONFIG_VIRTIO_VSOCKETS_COMMON=m
 CONFIG_VHOST_VSOCK=m
 
+# VirtualBox
+CONFIG_VBOXGUEST=m
+
 CONFIG_VIRTIO=y
 CONFIG_VIRTIO_PCI=y
 CONFIG_VIRTIO_NET=y
@@ -34,6 +41,10 @@ CONFIG_VIRTIO_VSOCKETS=m
 CONFIG_VIRTIO_MMIO=y
 CONFIG_SCSI_VIRTIO=y
 CONFIG_HW_RANDOM_VIRTIO=y
+CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
+CONFIG_VIRTIO_IOMMU=m
+CONFIG_CRYPTO_ENGINE=m
+CONFIG_CRYPTO_DEV_VIRTIO=m
 
 # These options are needed for virtio-fs
 CONFIG_FUSE_FS=y