BOOTBOOT multi platform micro-kernel loader.