Seeeduino ADK supplied by 24 V

Does anyone have seeeduino ADK pcb board design files ready for external power supply that has 24 V, with a switching power supply or something like that, to avoid overheating due to 24 V to 5 V conversion?

You can insert your own external switching mode power supply between the 24V source and the seeeduino ADK.
They sell on ebay for less than $10 (depending on the current they can supply).