x86, defconfig: update kernel position parameters