Thank you for this suggestion. I have gone ahead and tried adding this to the boards.h file and it returned that Compilation error: 'TOTAL_PORTS' was not declared in this scope I tried adding the TOTAL_PORTS to the boards.h file using 3 and then 1 but still returned the error.
I referred your comments in the following Arduino git issue for reference for now. If you have more intel on how to solve this that would be super welcomed 
Thank you for your help, and hope that we can resolve this soon.