Workaround for a linux kernel bug which affects the krait cpu - https://...

I'll make a more proper fix for 4.5 - most likely by cloning and building the library from source while building mono.