syslinux: import drain_keyboard function from menu module