Comment 19 for bug 238118

Revision history for this message
Timm Essigke (essigke) wrote :

Here is the result of running the new kernel. 32bit is right for this machine. Thank you!