[philjackson]

Plus all of that libc. Not to mention the megabytes of kernel. How big is a bootloader these days?