/patch-pc-bios_optionrom_Makefile/1.1/Thu Aug 30 20:57:03 2012//
/patch-roms_vgabios_vgabios_c/1.1/Tue Jan 29 10:57:03 2013//
/patch-util_cache-utils_c/1.1/Wed Mar 20 00:46:01 2013//
/patch-configure/1.35/Sun Jul 21 17:14:20 2013//
D
