Separate names with a comma.
Okay, I found it: its a Linux issue to do with handling the BIOS calls to determine the size of memory available. Basically you need to add...
So, how did you fix it? I haven't found a solution myself. Do share, pretty please...
