kernel debuginfo size