BUG: kernel boot hang
