Separate RE3 and RM3 builds

This is necessary because RE3 iss.3 has different RTC hardware
and therefore requires different kernel config.