Bugfix: Patch the hlt definition to declare hlt not htl