The text 7d52239cbdfa, as Debian 10 (Buster) shipped it.
Intel PIIX4 Power Management controller driver
intpm(4freebsd) on Linux now
