original config from Shih-Wei
minimal config needed by Xen
minimal config needed by Xen
generated config after adding Xen essential