[boot] Load programs in boot, not kernel

Remove ELF and initrd loading from the kernel. The bootloader now loads
the initial programs, as it does with the kernel. Other files that were
in the initrd are now on the ESP, and non-program files are just passed
as modules.

src/libraries/kutil/printf.c

@@ -35,6 +35,7 @@
 
 #include "kutil/printf.h"
 
+#define PRINTF_DISABLE_SUPPORT_FLOAT
 
 // define this globally (e.g. gcc -DPRINTF_INCLUDE_CONFIG_H ...) to include the
 // printf_config.h header file