Defconfig: update for UKSM