update kernel configuration for the x86 architecture (i586+)