linux_dsm_epyc7002/include/linux/start_kernel.h