Mostly working minimal .config for kernel v3.9

This configuration appears to be about right, though there's some
missing pieces still and the port of the disk driver seems to be buggy.