Really fix padding for ARM64