Add note that BIOS uses RTC and Jiffy locations