review.coreboot.org / coreboot / 926887ced904faeda461b923761bed441cde0acc / src / soc / amd / genoa / domain.c