Fix IFC6410 build

The IFC6410 has too many devices to fit into the bootinfo page.
What is more, some are aligned on half-page boundaries.

Exclude devices on half-page boundaries from the bootinfo device list.
people who contributed to code, design, and docs

(state before release on 29 July 2014)
add Max's contribution
fix typo; add more links