Not related to the bug, but I noted the option inDomU=true can be set in menu.lst, to override detection for pv_ops kernels.
Not related to the bug, but I noted the option inDomU=true can be set in menu.lst, to override detection for pv_ops kernels.