set vector base at 0xffff_0000 for infomax platform