kernel/resource.c: correct the comment of allocate_resource()