I have uploaded the following files. Please install them, and then you have
my "OK" to make the release. Note that I made a slight change to your root
disk - it now mounts the boot disk read-only instead of read-write.