[stellaris] fix stellaris_eth to include platform.h needed for get_system_clock()