Heh - I can't resist throwing a mention in for my favorite here too (1). Available, cheap, x86 based... I love them :-) I have 3-4 of the H2 models, and they have only gotten better !

1. https://ameridroid.com/products/odroid-h3