Devices descending from K123539

2 later devices reach Stayhealthy Health Kiosk, Stayhealthy Healthcenter Kiosk through their predicates, nearest generation first.