/* XXX Should use kmem, but Linux kfree doesn't take the size. */