[coreboot] I've turned on paging as a test

[ron minnich]

And locked out page zero. And we trap.

So, first question, can we move X86_BDA_BASE to somewhere other than 0x400?
Anyone know?

ron