Searching in drivers/firmware/psci