annotate we can replace booting_xen() later

We can can later repurpose a xen init structure call for white-listing
bare metal specific code.

Signed-off-by: Luis R. Rodriguez <mcgrof@kernel.org>