Update kernel configuration with 3.8.6

Changes in CPU frequency scaling
. Sets governor 'ondemand' as default
. Makes X86 ACPI CPU frequency scaling driver as built-in
  For this config, makes ACPI driver for processor as built-in, too.

Signed-off-by: Kwanhong Lee <kwanhong.lee@gmail.com>