hw/i386/Kconfig: Let the MicroVM machine select the SERIAL_ISA config