static-libs/genkernel stuff again