100644 blob c46bb99d5fb29f7958d651bd3d465038e9e6a1c8	apicdef.h
040000 tree 638f9addf595a70540ae2f9716e1651723238d98	bios
100644 blob 503d3f42da1676791d2c4f4a70bfad35743daf4c	kvm.h
100644 blob b31f8c098271ffc59c59002c18701e1f4ab54d33	mpspec_def.h
100644 blob 07c2834e7ab5245288200854029b2094714a4754	processor-flags.h