hlte: Fix extractor script

Change-Id: Ib1b57fe02f3c3597451ce438ee961ec70009cde1