Extra bits for running SmartOS under KVM in the JPC