[coreboot-gerrit] [S] Change in coreboot[main]: [RFC] region: Allow region_end() to return 64-bit numbers

[Arthur Heymans (Code Review)]

Attention is currently required from: Jérémy Compostella, Nico Huber.

Arthur Heymans has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/79906?usp=email )

Change subject: [RFC] region: Allow region_end() to return 64-bit numbers
......................................................................

Patch Set 1:

(1 comment)

Commit Message:

https://review.coreboot.org/c/coreboot/+/79906/comment/59a85e8b_4ae7af47 :
PS1, Line 9: We most likely operate on regions that end exactly at the 4GiB boundary
would it make sense to document that 64bit + overflow is still possible?