x86, AMD: Correct align_va_addr documentation