AV42S002.BIN: 10/24/2002-P4X333-8235-AV42C-00 
 256K ACPI    AV42S002 P4X333-8235 
AV42S003.BIN: 11/22/2002-P4X333-8235-AV42C-00 
 256K ACPI    AV42S003 P4X333-8235 
AV42S005.BIN: 01/03/2003-P4X333-8235-AV42C-00 
 256K ACPI    AV42S005 P4X333-8235 
AV42S007.BIN: 06/10/2003-P4X333-8235-AV42C-00 
 256K ACPI    AV42S007 P4X333-8235 