f16ref_defconfig: small fixes