[09:38] <luc4> Hello! Anyone who knows if it is possible to use the official rpi kernel on ubuntu for raspberry pi? I'd need to git bisect to find a bug.