unsigned char microcode[] __attribute__ ((aligned(16))) = {
#include "mc_patch_010000c7.h"
#include "mc_patch_010000c8.h"
#include "mc_patch_010000d9.h"
#include "mc_patch_010000db.h"
#include "mc_patch_010000dc.h"
#include "mc_patch_01000095.h"
#include "mc_patch_01000096.h"
};