I'm new in the embedded system field so i saw Texas courses on edx.org and i will take them but the problem is the instructors requires a TM4C123G Launchpad and in my country the available one is TM4C123GXL... so can i use TM4C123GXL Launchpad instead of TM4C123G ?