[coreboot-gerrit] Change in coreboot[master]: soc/amd/picasso/sb: Gate FCH AL2AHB clocks

[Matt Papageorge (Code Review)]

Matt Papageorge has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/42829 )

Change subject: soc/amd/picasso/sb: Gate FCH AL2AHB clocks
......................................................................

Patch Set 6:

(1 comment)

https://review.coreboot.org/c/coreboot/+/42829/4/src/soc/amd/picasso/southbr... 
File src/soc/amd/picasso/southbridge.c:

https://review.coreboot.org/c/coreboot/+/42829/4/src/soc/amd/picasso/southbr... 
PS4, Line 339: 	al2ahb_val = read8((void *)(AL2AHB_BASE + AL2AHB_CONTROL_CLK_OFFSET));
> please cast through uintptr_t […]

Check the latest patch to make sure I did it right. Is this part of C99? Unfortunately there was no equivalent I knew of when working with UEFI.