Any (preferably supported ;-) ARM board with 8GB RAM or more?