linux-hardened/drivers/platform/Kconfig