Comment 2 for bug 148293

Although I haven't tested it, 1.2-4 does switch the registers, which should put them the correct way. 07_pic_cmpxchng.patch explicitly says it fixes this. Good enough for me.