gluekernel, some fixes