i would modify board.txt if i could find any info on what needed to be changed. when i did this for arduino23, all i had to do was modify programmers.txt. as things stand now, i can't use arduino1.0.3 -- which is just as well considering how much code of mine that it breaks (arduino.h, really?). but i would like to try out some libraries written by others for it.
Well I would think you would have to change in the boards.txt file
But of course I have no way of testing that.