Boot-time memory difference (delta in bytes from test_v3.13-rc1 (6ce4eac1f600b34f2f7f58f9cd8f0503d79e42ae)) avail rsrvd high freed board kconfig 4k -4k . . 4430es2panda omap2plus_defconfig