[PATCH 0/3] support separate asm-offsets.h for SPL and TPL