fix identifier type for raspis0