Re: L4Linux CONFIG_MTRR must not be enabled