EUI-64 on CC2538

Updated the eui64_get function for the CC2538 chip based on the memory mapping information provided by Texas Instruments. Please notice that the first commit has a bug which is fixed on the second commit.