Odroid-U3 - ArchlinuxARM + HDMI Output

Thanks Fedex, just got my shiny Odroid-U3 delivered from Korea :-D For those who don't know, it's a small developer board like the RaspberryPI (leave now if you don't even know the RaspberryPI! ;-)) with an ARM CPU. Actually 4x 1.7GHz Samsung Exynos 4412 ARM Cortex-A9 processor ...