made the kernel smaller, but still 11k too large :(