How to compile Arduino 1.5.6-r2 for the Arduino Due?

see my reply here:
http://forum.arduino.cc/index.php?topic=135403.msg1738519#msg1738519