Fixed two bugs where paging_alloc got unaligned size requests.