Revert "Rewrite boot in Python"