mako_kernel: update with source-built 4.3 kernel