Fix TARGET_BOARD_PLATFORM