Arduino Support?

Has anyone tried making a similar setup using the Arduino toolkit? I'm looking at getting a Coreboot board going, and think it would be pretty nice learning how to use the Arduino to flash these bios chips.