kernel/efirt: Make efirt compilable into the kernel and add to LINT64.