Small libkernel changes.