target-mips: Add comments on POOL32Axf encoding