Re: [coreboot] PAYLOAD_SEGMENT_BSS not getting cleared in selfboot.c