archs38: Update kernel configuration