mbed interface header inclusion in board.c