The text dafd9d1b0b3f, as Debian 8 (Jessie) shipped it.
map physical address to virtual
phys_to_virt(9) on Linux now
