fake gcc builtins for ARM target