[arch-dev-public] rc-kernels for x86_64