Switch to 64-bit sector pointers everywhere