Need EXTRA_RUMPCOMMON here.

Could/should rewrite this stuff as Makefiles now.
cherry-pick cdefs.h fix for rump_server (required by some hosts)
Source for buildrump.sh git rev a4f880ebc7f018d7816b87c314f2edc36f31e623