defconfigs: Enable UKSM