File migration to partially writable layer

#378 has a test that constructs the same fs as what most our runners have. The problem with current layered fs is that it assumes the upper layer is always writable when doing file migration from lower to upper layer. However, the stdio layer (or any future dev/proc fs layer) is only partially writable (only write to stdout/stderr is allowed).