xen-all.c: retrieve machine options if exists !