unsigned microcode_updates_1067ax[] = {
	#include "microcode-m011067660F.h"
	#include "microcode-m041067660F.h"
	#include "microcode-m101067660F.h"
	#include "microcode-m101067770A.h"
	#include "microcode-m111067AA0B.h"
	#include "microcode-m401067660F.h"
	#include "microcode-m441067AA0B.h"
	#include "microcode-m801067660F.h"
	#include "microcode-mA01067AA0B.h"
};