Fix non-booting images

In some cases, the image cannot be booted, the console displays the
following:

No DEFAULT or UI configuration directive found!
boot:

It is likely, that it's caused by some filesystem inconsistency. This
patch adds a sync in dom0, which should eliminate these issues.