Extending The Rasbian Kernel (Linux Kernel 3.10.28) for Arm/Raspberry Pi - How to Correctly Add Own System Calls