ci: fix cargo doc
Fix the "The targets should have unique names." bug when building the doc for
the whole workspace. The problem is that the header crate might use an outdated
version of multiboot2. There is no need to build the deps here anyway, so it's
an easy fix.