Update VE core for cherry-pick

New changes:
31024c1 Followup 166a52b: don't disable tools that don't have commands

Change-Id: Ib65a89f6fd00abe01e6a9a595957205eed7c5910