BoardConfig: Change kernel name