ext4_types: change "user" prefix to "ext4_user"