8.0 still doesn't boot in Xen (kern/138863)

Is it too late in the 8.0 release schedule to look at kern/138863?  
Between 7.x and 8.0 the kernel can no longer boot under Xen due to  
changes involving CLFLUSH. The effect is a crash very early in the  
boot, with no workaround. (This is under Xen's fully virtualized mode,  
not the XEN platform port underway.)

This was also mentioned on the Xen mailing lists back in September (http://lists.freebsd.org/pipermail/freebsd-xen/2009-September/000310.html 
) but nothing has been committed to fix this yet.

XenServer is getting pretty popular in some enterprise and hosting  
environments, so having 8.0 not bootable would be a bit  
disappointing. :)

-- Kevin