[coreboot] Question about DISB handling in memory init