[coreboot] Re: "Fixing" `1 << 31` (technically undefined behavior with known implementation-specific results)