That is true.  But as the comment says "defaults are good for Krait-based systems as of this writing."  They are added to most Krait BoardConfigs (mako, g2-common, etc) in case they change, but I can remove them if you want.