According to the datasheet, your value for KICK1
should be 0x95A4F1E0
, your code has 0x95A4F10
which doesn't match. It's visually quite clear in your code that the second value is shorter than the first, which is a warning signal.
It also says, as pointed out in a comment, that Rev 2 of the hardware no longer has the kick registers so check that, too.
Also, make sure calling printf()
in that sequence of scary poking is safe.