The ATAPI driver is still unable to detect my hard drive (or my CD drive for that matter), even though I have switched to a 32-bit Genode system. Any help?