amended BoardConfig with device tree info