remove instructions for manually patching devkitARM