boot loader: Almost removed use of kernel_cpp.h.

* For some reason that is beyond me, fat/CachedBlock.cpp needs this header,
  or else building the boot loader fails.
Style fix as suggested by Axel :)