boot.py: add support for seeding random number generator w/fixed value