Currently users cannot install the board related files through Arduino board manager.
Using git clone and get.py to install also doesn't work since the xtensa sdk is also stored at arduino.esp8266.com.
Here is the issue link on git:
https://github.com/esp8266/Arduino/issues/1689
Hope to see solutions soon.