Fixed device list, replaced 88f6282 with 88f6281 as there is no toolchain for 88f6282