Resync pt-machine.h for AVR32 linuxthreads and linuxthreads.old
This patch synchronizes the AVR32 specific pt-machine.h header file for
linuxthreads and linuxthreads.old implementation.
Signed-off-by: Hans-Christian Egtvedt <hans-christian.egtvedt@atmel.com>