It's more than just a simple interrupt register issue. The asm instructions are wrong for the K42.

See posts #4 and #6.