Refine defconfig again, to be closer to Exception13