Improve Makefile. Add KF_DRIVER and allow setting the compiler from outside
Print requested size if a bad size was passed to a FrameAllocator