malloc(): corrupted top size
make[4]: *** [scripts/Makefile.clean:61: drivers/firmware/psci] Aborted (core dumped)
make[3]: *** [scripts/Makefile.clean:61: drivers/firmware] Error 2
make[2]: *** [scripts/Makefile.clean:61: drivers] Error 2
make[1]: *** [/srv/vmksft/testing/wt-21/Makefile:2148: _clean_.] Error 2
make: *** [Makefile:248: __sub-make] Error 2
make: *** [Makefile:248: __sub-make] Segmentation fault (core dumped)