ANDROID: turn more configs off for microdroid kernel

Following configs are off:

* CONFIG_RCU_BOOST, CONFIG_RCU_NOCB_CPU: we don't need such RT-ness

* CONFIG_MEMORY_ISOLATION: this is for NUMA

* CONFIG_MEMORY_HOTPLUG, CONFIG_MEMORY_HOTREMOVE,
  CONFIG_MHP_MEMMAP_ON_MEMORY, CONFIG_VIRTIO_MEM: we just don't use
memory hot-plugging

* CONFIG_USERFAULTD, CONFIG_UIO, CONFIG_IO_URING, CONFIG_IO_WQ: we don't
  have a usecase for it

* CONFIG_VGA_ARB: we currently don't have graphics support in VM

* CONFIG_PCIE_DW, CONFIG_PCIE_KIRIN: this is not a real hw

* CONFIG_LOG_BUF_SHIFT=16 (64 KB; was 128 KB). With 15 (32 KB), we can't
  even record the entire boot log.

Bug: 407854766
Test: run Microdroid

Change-Id: I92e0674e3b2b47750905dfd2ab921844c48343c2
Signed-off-by: Jiyong Park <jiyong@google.com>