Performance: workaround Linux kernel bug