[Bug 807165] New: xen boot needlessly disables splash screen