remove dead ctrl.h header file

Change-Id: I3ea0d98580085982ec0f20165c0ddcfd439e7419
Related: OS#2528
3 files changed