How about a switching power supply shield for Arduino

I was thinking of a simple Arduino shield that takes 7-40V DC in and outputs regulated 5V at 0.5 A.

Could also possibly do AC.

It would probably leave room for a prototyping area.