acrn-kernel/drivers/platform/Kconfig