Made profiling stuff 64-bit ready (fixes #23)
Enable profiling by default.

We have support in the linkerscript anyway and it works now on
x86_32 and x86_64.