"Due to a kernel bug..." made me question the whole article right there