Good news,
I insisted and got u-boot compiled, the size is ~ 85k.
So far I discovered the boards id for :
Code:
BOARD_ID_ICEWINE_WARIO_512 - KV wifi Europe Serial B01309xx id 0480
BOARD_ID_ICEWINE_WFO_WARIO_512 - KV wifi + 3G US Serial B05409xx id 0470
Missing:
BOARD_ID_ICEWINE
BOARD_ID_ICEWINE_WFO
BOARD_ID_WARIO_4_256M_CFG_C
BOARD_ID_WARIO_4_512M_CFG_B
BOARD_ID_WARIO_4_1G_CFG_A
BOARD_ID_ICEWINE_WARIO
BOARD_ID_ICEWINE_WFO_WARIO
BOARD_ID_ICEWINE_WFO_WARIO_EVT1_2
BOARD_ID_ICEWINE_WARIO_EVT1_2
BOARD_ID_BOURBON
BOARD_ID_BOURBON_PREEVT2
BOARD_ID_BOURBON_WFO
BOARD_ID_BOURBON_WFO_PREEVT2
BOARD_ID_BOURBON_WFO_EVT1
BOARD_ID_MUSCAT_WAN
BOARD_ID_MUSCAT_WFO
Now I'll see what I can do with it.