linux-xiaomi-chiron/drivers/firmware/psci/Makefile