Use the common instructions for Horizon

Change-Id: I4c8b55984efdad9b1a2334f976853afc62e6fc21