CPU ID for Intel Galileo

Hi, I am interested to work on Issue#1511(https://github.com/RIOT-OS/RIOT/issues/1511), developing CPU-ID for Intel Galileo. Can anyone help me with possible cross-compiler required to build code for Quark SoC? Shubham Chhabra