[PATCH] fix kernel-api doc for kernel/resource.c