kernel: update i586 config.