o pxe.dsk is a iPXE netboot (http boot!) image that will always be up to date withe head revision.
o Added some Lib-C functions too.