[coreboot] K8+RS780+SB710 board failed to boot linux with 4G DRAM