Re: [LinuxBIOS] [PATCH] v3: 8254_pit.patch