Use inline string for the patch as workaround for arm-none-eabi-gcc