I figured it out; turns out that the X264vfw codec needs to be installed separately and then, the option shows up as a video compressor for the .avi format, called x264vfw
With x264vfw as the compressor, under compression settings, the option "keep input colorspace" needs to be enabled for lossless quality outputs