unsigned char microcode[] __attribute__ ((aligned(16))) = {
#include "mc_patch_01000086.h"
#include "mc_patch_01000095.h"
#include "mc_patch_01000096.h"
#include "mc_patch_0100009f.h"
#include "mc_patch_010000b6.h"
#include "mc_patch_010000bf.h"
#include "mc_patch_010000c4.h"
};