I suppose it *may* work as I was able to boot a native debian system with bootmenu and the stock kernel in the past.