fix risc64 conflict with kernel headers