Has it been established yet whether it's possible to run win4lin with the stock kernel in warty? dave w