#ifndef __IDpatch__
#define __IDpatch__

static unsigned int size_IDpatch = 72;
static unsigned char IDpatch[] __attribute__((aligned(16))) = {
	0x60, 0x00, 0x00, 0x00, 0x7c, 0x08, 0x02, 0xa6, 0x90, 0x01, 0x00, 0x00, 0x94, 0x21, 0xff, 0x74, 
	0xbc, 0x61, 0x00, 0x04, 0x3c, 0xa0, 0x80, 0x00, 0x60, 0xa5, 0x2f, 0xd0, 0x3c, 0x80, 0x80, 0x00, 
	0x60, 0x84, 0x00, 0x00, 0x80, 0xc5, 0x00, 0x00, 0x90, 0xc4, 0x00, 0x00, 0x80, 0xc5, 0x00, 0x04, 
	0x90, 0xc4, 0x00, 0x04, 0xb8, 0x61, 0x00, 0x04, 0x38, 0x21, 0x00, 0x8c, 0x80, 0x01, 0x00, 0x00, 
	0x7c, 0x08, 0x03, 0xa6, 0x60, 0x00, 0x00, 0x00, 
};

#endif
