Update kernel to use the new list.mb