Try my map server to see if it's faster on Raspberry Pi - it has a few more optimizations than Andrew's