linux-stable-rt/arch/arm/boot/compressed/head-epxa10db.S