add --enable-paravirt in cpukit configure scripts
add --enable-paravirt to the configure options