cherry-pick: release rump_etfs hypervisor-level resources at reboot-time
Source for buildrump.sh git rev f1d4ca2d7ec391d9cda91b491a3f62beac01facf