Hi: On my AMD64X2 box, i've buildworld+buildkernel with SMP enabled and want to setup vkernel. Referring to the vkernel setup here http://www.dragonflybsd.org/docs/user/vKernelSetup/ Should disklabel or disklabel64 be used for vkernel image on AMD64 ? thanks Saifi.