Added 0x0D to 2-byte opcode extension table for prefetch* variants