Update kernel configs (amd64, i586) accorded to the current kernel version