mako-kernel: update prebuilt kernel, add modules