Merge pull request #973 from CakeML/arm8_bootstrap

compiler/backend/arm8/arm8_configScript.sml

@@ -35,7 +35,7 @@ val word_to_word_conf = ``<| reg_alg:=2; col_oracle := [] |>``
 (* TODO: this config may need to change *)
 val arm8_data_conf = ``<| tag_bits:=4; len_bits:=4; pad_bits:=2; len_size:=32; has_div:=T; has_longdiv:=F; has_fp_ops:=F; has_fp_tern:=F; be:=F; call_empty_ffi:=F; gc_kind:=Simple|>``
 val arm8_word_conf = ``<| bitmaps_length := 0; stack_frame_size := LN |>``
-val arm8_stack_conf = ``<|jump:=T;reg_names:=arm8_names|>``
+val arm8_stack_conf = ``<|jump:=F;reg_names:=arm8_names|>``
 val arm8_lab_conf = ``<|pos:=0;ffi_names:=NONE;labels:=LN;sec_pos_len:=[];asm_conf:=arm8_config;init_clock:=5;hash_size:=104729n|>``
 
 val arm8_backend_config_def = Define`