EABI 対応
コンパイラの ABI を EABI にすると、構造体のパディングが変わるため、アセンブラから C の構造体を触っているところで問題が出る。
kernel/sysdepend/cpu/raspib/offset.h に次のような修正を加えて動くようになったが、他にも修正が必要な箇所が残っているかもしれない。
#if __ARM_EABI__
#define TCB_wtmeb 80
#else
#define TCB_wtmeb _ALIGN_CPU(TCB_winfo+TCBSZ_WINFO)
#endif
