In order to use the option dom0_mem to limit the amount of memory assigned to the Xen Domain-0, where must this option be specified?