Ah oops overlooked this. https://review.coreboot.org/#/c/coreboot/+/2531/ Paging ron minnich! It seems at the end of the comments various people note the mistake however it never got fixed. If this is a mistake I will require someone else to fix it as I am not allowed to contribute on gerrit.