conventions, so that Pica kernel can build libkern and libcompat. Based on the changes to pmax/conf/Makefile.pmax.