Device tree for slimbean 4.1.2