defconfig: enable UKSM