ANDROID: Align x86-64 microdroid kernel configs to aarch64 kernel configs

x86-64 and aarch64 kernels should be at feature parity, so update the
x86-64 kernel configs to match the aarch64 configs.

Note, unline aarch64:

- x86-64 requires ZONE_DMA32 to be enabled on 64-bit kernels, so that
cannot be disabled.
- CONFIG_HOTPLUG_CPU cannot be disabled on x86-64.

Bug: 432329937
Change-Id: Id3d6d5ef5016f3984ecc0755788f4ff03e0311ad
Signed-off-by: Isaac J. Manjarres <isaacmanjarres@google.com>