100644 blob c46bb99d5fb29f7958d651bd3d465038e9e6a1c8	apicdef.h
040000 tree 638f9addf595a70540ae2f9716e1651723238d98	bios
100644 blob 87fad2a0300ac5a95dfea4fd23d119da3121858f	kernel.h
100644 blob ef11aa4cab42536cf1773bf5b787bcf715bd76e9	kvm.h
100644 blob b31f8c098271ffc59c59002c18701e1f4ab54d33	mpspec_def.h
100644 blob 07c2834e7ab5245288200854029b2094714a4754	processor-flags.h