Not sure about this, but if you compile the whole system (easy debian in this case) with HF you might also need an adapted kernel (unless the interface between libc and kernel is independent of the architecture/ABI, which is probably not the case).
Some day we'll be able to boot an HF-compiled debian with an upstream kernel, but it'll take some time until that happens..