platform_get_resource(9) on Linux

The text 4bc38201ecb3, as Debian 8 (Jessie) shipped it. The page shows this text now.

get a resource for a device

platform_get_resource(9) on Linux now