arm_boot: support board IDs more than 16 bits wide