Fixing alignment in paging.h