ubuntu: build a custom kernel