Seeeduino ADK supplied by 24 V

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).