add the R_ARM_V4BX relocation to the ARM kernel module loader