I've applied the patch here and have been testing on a Tyan 1832DL using the Tyan 1846 mainboard and am not seeing any of the patch's printk output within the logs here.
I have grepped for L2 & rdmsr.
I can see where one of the patch files links in SLOT1 cpu with the 67x cpu. Can also see where the compile output also compiles model_67x code along with two or three other cpu models.