As we already do xm mem-set 0 800 in qubes_core, this is a correct check. Now, there should be no errors from qubes_restore in normal circumstances.