Python extension module to (re)mount /boot
