SensorTag CC1350: Board.h Not Included

[rei-vilo]

A sketch with Board_MPU_POWER throws an error during compilation against the SensorTag CC1350.

sketch_jun12a:3: error: 'Board_MPU_POWER' was not declared in this scope
     pinMode(Board_MPU_POWER, OUTPUT);
             ^
exit status 1
'Board_MPU_POWER' was not declared in this scope

However, boards.h does define Board_MPU_POWER

cc13xx-core/variants/CC1350STK/Board.h

Line 191 in 531d693

#define Board_MPU_POWER IOID_12

Adding #include "Board.h" on top of the sketch solves the issue.

Shouldn't Board.h be included automatically by Energia.h?

Sketch

#include "Board.h" // error if omitted

void setup() {
  // put your setup code here, to run once:
    pinMode(Board_MPU_POWER, OUTPUT);
    digitalWrite(Board_MPU_POWER, LOW);

}

void loop() {
  // put your main code here, to run repeatedly: 
  
}