amended BoardConfig with device tree info and set kernel +x