Add AS6712_32X to support ONIE and revise IANA number comment

I have revised the comment for IANA number in machine.make. Thank you very much.