tree be4ca586c31d9abd9152a16d69c1839c28cf1070
parent a4b88849c4691a1674d4427ee73a79ae8ea76460
author Lorenz Brun <lorenz@monogon.tech> 1691077217 +0200
committer Lorenz Brun <lorenz@monogon.tech> 1691413446 +0000

m/n/c/mgmt: unmount ESP before restarting

This provides additional reliability for the FAT32 ESP partition.
Nothing should keep persistent handles for files on the ESP. Ignore
errors in case anything does.

Change-Id: I04bfbb82fddfc740c5c234c028de89539e91a696
Reviewed-on: https://review.monogon.dev/c/monogon/+/2032
Reviewed-by: Tim Windelschmidt <tim@monogon.tech>
Tested-by: Jenkins CI