[09:39] arraybolt3: given the Ubuntu kernel is built on Launchpad builders, it stands to reason that you could build other kernels on Launchpad builders too