fix option registration in debugger

Change-Id: I7a757862a1deeee42593a9953e75cf3294882539