built_in: add kernel u* types