gator-driver: Hack makefile to search for Mali trace headers