Hello,
You originally had 2 files posted, I tested both. File Ic2c allows me to boot without panic, however I have no trackpad or keyboard, during boot Voodoo I2c recognizes the devices but "failed to read ACPI config".
File Ic2B will result in the same kernel panic.
Thanks for your help.