writefs: fix erroneous type u32