sandbox: Correct data sizes and printf() strings in fdtdec.c