bsd.kern.mk: Remove gcc80 workaround.