Update magma (August 13 2013)

Signed-off-by: Alec Ari <neotheuser@ymail.com>
Update magma (again)

Signed-off-by: Alec Ari <neotheuser@ymail.com>
Merge branch 'magma' into dev

Signed-off-by: Alec Ari <neotheuser@ymail.com>

Conflicts:
	addons/rtdm/select.c
	base/arch/x86/Kconfig
	base/arch/x86/calibration/smi-module.c
	base/arch/x86/hal/hal_64.c
	base/include/rtai_lxrt.h
	base/sched/sys.c