Dealing with weird doctrine errors on kernel boot