Kernel for f16ref from mbx12122012 image