Remove obsolete option in Xen domU module