It’s simply not officially supported. I had to fiddle around with different pthread libraries and compile options to get that running. Unlikely, that these patches will make it into official supported distribution. On 32 bit Windows, InnoDB even did use some Assembler code to make it run.