So it turns out platform-api usage is actually not in use (#if 0'ed out): So here's a debdiff that removes referecing the now non-existent platform-api types and headers.
So it turns out platform-api usage is actually not in use (#if 0'ed out): So here's a debdiff that removes referecing the now non-existent platform-api types and headers.