I've updated the samsung-maguro packages to armv7 some time ago and forgot about the firmware package