Laut dieser Quelle scheint der Fehler BAD_POOL_HEADER oft bei Registry-Problemen aufzutreten. Und diese lassen sich häufig mit einem Registry-Cleaner beheben.