Some sanity into code and licence notices.

There's some problem with the fact that different cores use different
PML4s. I probably should force them to use a single one... I'll look
into tomorrow.