Build check_initial_reg_state statitcaly with custom entry point.
am: 9acdae59ae

Change-Id: Ifdf1a51b3d3beed720a1ec3db787dd461a89c462