But how did you select the board? Are you using the Windows distribution or a Linux one?
Add the mighty board to boards.txt
Win XP
The dirs:
..\arduino-152\hardware\arduino\avr\cores\mighty1284p
..\arduino-152\hardware\arduino\avr\variants\mighty1284p\pins_arduino.h