docs: Fix Hakefile comment
-- If you do not find this file, copies can be found by writing to:
-- ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
--
--- Hakefile for /platforms/x86
+-- Hakefile for /doc
--
--------------------------------------------------------------------------
