Update kernel_common.mako