mini-Linux HOWTO for IXP1200 revB boards