Hi, kfreebsd-10 seems to work fine to boot and load D-I. Shall we enable it in the builds already? (alongside kfreebsd-9) -- Robert Millan