Unclear that user needs to #define _LAUNCHXL_F2800157 for pin numbers to work for evaluation board #2
Description
In order to use the device.h file for the LAUNCHXL-F2800157 Evaluation board, the user must #define _LAUNCHXL_F2800157 (https://github.com/TexasInstruments/c2000ware-core-sdk/blob/main/device_support/f280015x/common/include/device.h, line 72). I didn't see this mentioned in the documentation, and only found it through debugging. I feel it should be explicitly mentioned somewhere, instead of requiring the user to search through the code while debugging.