Treating "x86" as "x86-64" seems to work for me, but it probably won't work in general. You might either complain to the kernel packagers (this is a pre-release kernel, so they might get upstream to fix it), or use "file /lib/libc.so.6" and look at (32|64)-bit to see which it is. Note that this will require a dependency on "file".
Also note that this does not seem to be the problem for the original submitter.
-- brian m. carlson / brian with sandals: Houston, Texas, US +1 713 440 7475 | http://crustytoothpaste.ath.cx/~bmc | My opinion only a typesetting engine: http://crustytoothpaste.ath.cx/~bmc/code/thwack OpenPGP: RSA v4 4096b 88AC E9B2 9196 305B A994 7552 F1BA 225C 0223 B187
signature.asc
Description: Digital signature