boot: Log, if boot menu is skipped

Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
1 file changed
tree: 514a9e53fd9e483f9c16e16c2a1f5fa422b89eed
  1. .gitignore
  2. COPYING
  3. COPYING.LESSER
  4. Makefile
  5. README
  6. docs/
  7. scripts/
  8. src/
  9. vgasrc/