Tropical Gardening Helpline: Getting rid of Christmas berry trees

Malia asks: We have lots of Christmas berry trees (Schinus terebinthifolia) on our land and want to remove some of them. We were thinking of chipping them to use for mulch in our garden. We are not sure this would