> Since you already have a patch for 32-bit ARM to remove those builtins, > could you please upstream your code first? And then I can merge your code. Yep. I'll see if I can get it done today. Cheers. Tim.