otavio: are  you building your kernel from source?