[modules] Add some missing record names. We really should be generating this from a .def file or similar...