%define MAX_CORES			@MAX_CORES@
%define KERNEL_STACK_SIZE	@KERNEL_STACK_SIZE@
%define SAVE_FPU			@SAVE_FPU@