100644 blob a290a4c457fc6332ff8df2cd8b0cd156f7cf7d3c	cpu-hotplug.asl
100644 blob 38a65266aac582d5794f0ee88213510f3644fdd2	dbug.asl
100644 blob 983151e2f47919bc692391d9107577f470df1aef	hpet.asl
100644 blob d6b3d9b3b6959bb40882930ff822800b16fd555e	isa.asl
100644 blob a336dce6e8615de20bbc0cd4a9e0730bfad8e6ad	pci-crs.asl