kernel.py: init _push()