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
Merge branch 'master' into experimental
add DOI
ia32: Move as much of the interrupt and syscall traps into C as possible
trivial: style
merge master into experimental
arm: FSR is 14 bits in newer arm versions, not 12
Merge branch 'master' into experimental

Conflicts:
	src/arch/ia32/c_traps.c
Merge branch 'master' into experimental