Build check_initial_reg_state statitcaly with custom entry point.
am: cd47c8cf72

Change-Id: I7fd4f0e27ee316741e2757f8b8c4b9a32a75b30e