Added Freescale library & K10 symbol