BoardConfigCommon: Use optimized Krait routines