[ros-diffs] [cgutman] 56244: [ACPI] - Fast mutexes must be allocated from non-paged pool