linux-hardened/drivers/platform/Makefile