Can someone please provide info on the short connection kiosk at Madrid Barajas T4S? Location, function, photos, value?

I have seen posts that mention the kiosk, but no clear info. I booked a flight for friends on Qatar into MAD, with a short connection (1h15m) on an Iberia flight in T4, and we are both worried that lines at passport control will cause them miss the connection.