I just spotted this https://people.freedesktop.org/~cbrill/dri-log/?channel=lima&date=2017-06-23 It seems like there is a new person working on a driver for mali hardware, specifically the mali-400, and apparently it is an amd employee.