[PATCH] 64bit resource: change pci core and arch code to use resource_size_t