include arm-cp15-start.h to avoid redundancy