Don't include etherboot.h; we get a circular dependency