100644 blob 17ebddec52e87db797e4384ca4e12ac7b1600f88	acpi.h
100644 blob 972c00720ccc572805e6d5c20a1141fc4be38355	bootbyte.h
100644 blob 07cb8d9ebf8ddff829e2887f394e1bf327e54260	bootloader.h
100644 blob 5ade3908933e1810e382528222b1c3d4bd9165a8	efi.h
100644 blob bcf346523ce716f158e73b3d5652a12554f86fb7	hpet.h
100644 blob ee31f8317a892290fe1122d79dd6e35ad9a17d4e	iomap.h
100644 blob b15adb6f896ab3ff7f8eb2d2bf1fb09749b162c8	smbios.h
100644 blob e35990ae222bf9cd266ab78259c7fba03a70327c	timer.h