fix build with the latest raspberry pi firmware