linux_dsm_epyc7002/drivers/power/reset/reboot-mode.h