[PATCH] board_init: Convert CONFIG_MALLOC_F_ADDR to Kconfig