ANDROID: Use small core data structures for microdroid kernels

CONFIG_BASE_SMALL governs the size of several data structures in the
system, such as futex queue hash table size, UDP hash tables size,
and the max number of PIDs in the system. When it is enabled, the kernel
allocates smaller data structures, such as a smaller futex queue hash
table.

Microdroid is meant to host a small number of processes, so enable
CONFIG_BASE_SMALL to save memory.

Bug: 434256355
[isaacmanjarres: enabled CONFIG_BASE_SMALL instead of removing
CONFIG_BASE_FULL, since the latter no longer exists on 6.12+
kernels and reworded commit message accordingly.]
Signed-off-by: Isaac J. Manjarres <isaacmanjarres@google.com>
(cherry picked from https://android-review.googlesource.com/q/commit:492960152688486251f4dc35e7af9f046c778a77)
Merged-In: Id8d9957ad16377334aa321a77568e97d7e433330
Change-Id: Id8d9957ad16377334aa321a77568e97d7e433330