[coreboot] Dell Dimension 4700 Supported?