USB device support for Linux boot & KGDB / Blog: Recent posts