I want to add "few words".
Yes, i understand that X86 is kind of standart CPU of nowadays, and VRocker dont want to maintain Server for ARM HardFloat and ARM SoftFloat. But, not publishing server for Raspberry PI is a big mistake.
Let's face the facts:
1) X86 processors is not popular anymore (like they were before). Now, most of people are happy with tablets powered by ARM.
2) Raspberry Pi Foundation main goal were:
a. To Keep kids off the streets ( to protect them from smoking cigarrets, drinking alcohol, drugs, bad companies, and etc ).
b. They wanted to show to kids that coding "some stuff" (for example your own game on the Python) is fun.
c. Foundation wanted to create a very cheap PC, with acceptable price for the everybody (for the whole world).
3)
2 500 000 Raspberry Pi were sold around the world, soon will be
3 000 000.
4) People use their Pi not only for educational purposes, many of owners constantly searching games and game servers that can be launched on their Raspberry Pi.
5. Raspbian ( one of the OS for the Raspberry Pi ) have anything you need:
a) Fresh: make 3.81 , GCC 4.6.3
b) Any (dev header) files can be installed through aptitude ( or apt-get ).
6) LU can get addition fame by creating ARM server version.
7) Sasha isnt the first one who requested server for ARM. On the MTA SA and SA-MP forums you can find the same requests ( keyword to search "raspberry" ).
You cant expect too much demands from small community.
Conclusion:
The future is here. It's time to take some decisions: Additional fame ( with Raspberry Pi ) or money from hosting ( because potentially this can be happen).
P.S. I don't push and dont force anyone from the developers team doing something. Words above is my honest opinion for that matter.