For reference:

Arduino submodule failed. I downloaded the latest, like this (and working):

rm -r components/arduino/
git clone https://github.com/espressif/arduino-esp32.git components/arduino-esp32
cd components/arduino-esp32 && git submodule update --init --recursive && cd ../..

Nice if this could be fixed in the code, wtakuo :)