Graphics hardware in $25 Raspberry Pi Linux box outperforms iPhone 4S GPU