Hello i had the same problem some weeks ago. It is just an example that seems broken. For my part i changed the makefile : in the subfolder x86 , edit the GNUMakerules and in the targets comment multiboot-smp and it should be fine.
Fabien Chaillou
l4-hackers@os.inf.tu-dresden.de