Added to the raspberrypi dynamic layer for use with Xen as the default preference for Linux kernel. Signed-off-by: Christopher Clark <christopher.w.clark@gmail.com> Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>