BTW, I should mention that after making those changes in my previous
email, the resulting kernel boots and seems to work fine on my 660av :)