[Bug 807165] xen boot needlessly disables splash screen