Rebuilding FC3 base kernel from source