1G memory for L4Linux on Panda