/* source for armel-linux.kernel.vmlinuz.S
 * is same as   arm-linux.kernel.vmlinux.S
 * and has been factored out in p_vmlinz.cpp by using:
 *    #include "stub/arm-linux.kernel.vmlinux.h"
 */
#include "arm-linux.kernel.vmlinux.S"
