How to customize Linux Kernel for a ARM board ( embedded system)