test/lrpc_fpu: make it compile for armv7 and armv8

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

lrpc_fpu,harness: adding a test

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

fpu context switching for x86_64: the patch by Andrei Poenaru, 2017.01.14 14:24
Dear all,
While working on context switching I found a bug regarding the FPU context switching on the LRPC path: no FPU switching is performed on that path.
When 2 domains (using the FPU) communicate via LRPC the data stored in the registers is not correctly preserved. I was able to derive a test starting from 'lrpc_bench'.
In order to fix the issue, I implemented in assembly, on the LRPC path, the same logic as in 'fpu_lazy_top' (function called during a context switch on the normal kernel path).

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>