config for cbmc sun4i