linux_dsm_epyc7002/drivers/soc/bcm
..
Kconfig
Makefile
raspberrypi-power.c