Bootloaders need the reacharound to get at the internal goods

They need to include kernel-internal.h in order to perform inits.

Change-Id: I5b0f155e4ff49a065c6cb97691ecd4396a199979
24 files changed