[coreboot] RAM issues with non-identical DIMMs