Okay. Anyway, OpenBSD works, proving that there’s nothing stopping Linux from working except the time and interest of Linux developers. I’m sure they are interested and the necessary modifications will be made soon enough.