I know this thread is older and dead, but people still seem to find it when searching the forum. Thus here is something that will help them find an answer:
The "Odroid C1" board is available for a while now. It has a 4xA5 (Amlogic S805). See http://www.hardkernel.com/main/products/prdt_info.php?g_code=G141578608433