>As a first fix, one might let the linker put a NOP at the end of every
>page. The addresses would then be easier to calculate. 
>NewAddress = OldAddress*PageSize/(PageSize - WordSize)

That will still kill you if the NOP falls in the middle of, say, a jump table. 
GCC often compiles a `switch' on integer values into something of the form

	ldr pc, [pc, r0, lsl #2]
	b	L1
	.word	L2
	.word	L3
	.word	L4

p.