fix build with the latest raspberry pi firmware

trivial, but needed