No printk to inform how much memory freed in ARM after booting