[PATCH 1/3] pxe: Add debugging for booting